Inhalt des Dokuments

Diplom

States in Process Calculi

Samstag, 21. April 2012

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Kühnrich

Wagner, Christoph

Im Kontext der Verifikation verteilter Algorithmen mit Hilfe von Prozesskalkülen werden systematische Techniken entwickelt, um formale Beweise notationell handhabbar zu machen. Dabei entwerfen wir syntaktische Standardformen, mit deren Hilfe wir Prozess-Zustände explizit und beweisunterstützend rekonstruieren zu können.

---